منابع مشابه
Entendendo o Pensamento Computacional
The goal of this article is to clarify the meaning of Computational Thinking. We differentiate logical from computational reasoning and discuss the importance of Computational Thinking in solving problems. The three pillars of Computational Thinking Abstraction, Automation and Analysis are outlined, highlighting the role of each one in developing the skills needed for the problem-solving process.
متن کاملReading fiction and the psychoanalytic experience: Proust on reading and on reading Proust.
Reading can at times engage one emotionally and entail inner psychological experiences in ways akin to those in clinical psychoanalysis. In that light, after a general introduction regarding the import of reading, attention is turned to Proust, Freud's literary complement, as an exemplary instance to illustrate those similarities. Ideas of Proust on reading are followed by thoughts on reading P...
متن کاملProust: A Nano Proof Assistant
Proust is a small Racket program offering rudimentary interactive assistance in the development of verified proofs for propositional and predicate logic. It is constructed in stages, some of which are done by students before using it to complete proof exercises, and in parallel with the study of its theoretical underpinnings, including elements of Martin-Löf type theory. The goal is twofold: to...
متن کاملIntersections in Immanence: Spinoza, Deleuze, Negri
The connection between French philosopher Gilles Deleuze and Italian political theorist Antonio Negri has drawn attention in academic publications over the last decade. For both thinkers, the philosophical concept of immanence is central to how both respectively conceptualize the world. However, in order to consider their work with regard to a metaphysical grounding, one may benefit from turnin...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Cadernos de Letras da UFF
سال: 2016
ISSN: 2447-4207,1413-053X
DOI: 10.22409/cadletrasuff.2016n52a92